COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AIL Professor Drew McDermott↓Department of Computer Science
↓Yale University↓New Haven, Connecticut∞

Dear Drew:

	I just got your paper %2Non-Monotonic Logic I%1.  As you note,
there is considerable common ground between it and my work on
circumscription.  However, the two are not the same, and I don't
fully understand their relations yet.  I think my minimization
of the set of elements of the domain gives different results
from your system.

	I hope to have more to say about this later, but for now, I
enclose a copy of a paper treating circumscription at greater
length than in my IJCAI paper.  Mainly it is older, but it has
been somewhat edited to reflect my more recent views.

.reg

cc: Jon Doyle, M.I.T.